Extending HSI Test Generation Method for Software Product Lines
نویسندگان
چکیده
منابع مشابه
Spinal Test Suites for Software Product Lines
A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing. We extend the notion of conformance testing on input-output featured transition systems with th...
متن کاملFacilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines
Software testing is still the most established and scalable quality-assurance technique in practice. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion. This situation is even worse when testing entire software product lines, i.e., families of similar program varian...
متن کاملOn facilitating reuse in multi-goal test-suite generation for software product lines
Software testing is still the most established and scalable quality-assurance technique in practice today. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion. This situation is even worse when it comes to testing of entire software product lines (SPL). An SPL consis...
متن کاملReusing State Machines for Automatic Test Generation in Product Lines
In this paper, we deal with the reuse of state machines for automatic test case generation in the context of product lines. We consider a corresponding approach of the Object Management Group and introduce our own approach to reuse state machines. We use OCL expressions to automatically derive test suites. All explanations are supported by the example of a car audio system.
متن کاملTest Data Generation for Product Lines – A Mutation Testing Approach
Modern product lines typically generate large and complex software products. There is an associated cost increase from the need to test such products, especially for a safety-critical embedded system. We propose a method by which characteristics of the product line can be used as a way of reducing the test data search space and providing effective test data for relevant testing problems. We ill...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 2018
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/bxy046